Macro lucet_incorrect_module

macro_rules! lucet_incorrect_module {
    ($($arg:tt)*) => { ... };
}