Macro check_recursion

macro_rules! check_recursion {
    ($this:ident $($body:tt)*) => { ... };
}