Macro assert_reachable_simtest 

macro_rules! assert_reachable_simtest {
    ($message:literal) => { ... };
}