Macro check_arg 

macro_rules! check_arg {
    ($env: expr, $ptr: expr) => { ... };
}