ext func __builtin_arg_get(arg_index: int) -> string; ext func __builtin_arg_amount() -> int; type Args; // FIXME: This should return a Maybe once that is implemented. // For now, this returns an empty string func at(a: Args, index: int) -> string { __builtin_arg_get(index) } func amount(a: Args) -> int { __builtin_arg_amount() }