Module Bin_prot_xen