function read_command() return io.stdin:read(1) end