lucet_runtime_internals
macro_rules! lucet_bail { ($e:expr) => { ... }; ($fmt:expr, $($arg:tt)*) => { ... }; }