Symbol: write_aux_command