K 10 svn:author V 3 jhb K 8 svn:date V 27 2017-03-19T00:36:29.260686Z K 7 svn:log V 282 Improve decoding of last arguments to ioctl() and sendto(). Decode the last argument to ioctl() as a pointer rather than an int. Eventually this could use 'int' for the _IOWINT() case and pointers for all others. The last argument to sendto() is a socklen_t value, not a pointer. END