Macro checked_proxy 

macro_rules! checked_proxy {
    ($trait:ty, $func:ident, $op: tt) => { ... };
}