let cmd = read_line ()