Add argument a1 for testing complete_arg_elem