Module Mirage_xen_bindings