let Genode = env:DHALL_GENODE
let types = env:DHALL_GENODE_TYPES
let XML = Genode.Prelude.XML
in λ(runtime : types.Runtime) → XML.render (Genode.Runtime.toXML runtime)