ableos/hbvm/src/lib.rs