Macro assert 

macro_rules! assert {
    ($($arg:tt)*) => { ... };
}

Proxy to std::assert!. Compiled with hax, this is transformed into a assert in the backend.