OCaml tooling for tracing Xen guest address translation