import church.lang.Array; foo(x) = x + 1; void: main(String[]: args) = l = args.length; if l < 2 then s1 = "Not enough arguments!"; output << s1 << "\n"; else a0 = args[0]; a1 = args[1]; output << "arg0 = " << a0 << " arg1 = " << a1 << "\n";