Macro secgate_prelude 

macro_rules! secgate_prelude {
    () => { ... };
}

Required to put in your source if you call any secure gates.