change type of port to unit16

In modern computers, the port numbers are between 1 and 65535, so unit16 is
sufficient.