Macro with_ints 

macro_rules! with_ints {
    (kernel $v:expr, | $x:ident | $body:expr) => { ... };
    ($v:expr, | $x:ident | $body:expr) => { ... };
}