foo = @lambda(args ...) { @local x; x = head(args); args = tail(args); printf("%a\n", args); return x; }; printf("%a\n", foo(1,2,3));