Symbol: write_command