According to a comment in the code, DosBox is supposed to generate virtual IPX addresses in accordance with RFC 1234 (http://www.faqs.org/rfcs/rfc1234.html), where the first two octets in host number are zeroes and the last four hold user's IP address. However, DosBox's behavior is different: the first four octets hold user's IP address and the last two hold user's source port (which is random). Is this the intended behavior?