Symbol: name_phase_arg