Library bin_prot.xen

The entry point for this library is module Bin_prot_xen.