libvxi11client/vxi11_xdr.c