Symbol: read_command