Symbol: augmented_args_tmp