Source file bin_prot_xen.ml