let getport p = let res = iosd "Invalid port number" p in if res < 0 || res > 65535 then begin pf "'%d' is not a valid port number. Must be in [0, 65535]\n" res; failwith "Incorrect port number"; end else res