macro_rules! microkernel_fn_array {
    ($([
       $($ukr: ident,)*
    ],)*) => { ... };
}