get_gast_command_name for v4v5a