let
cmd = read_line ()