Macro serum_dex::declare_check_assert_macros

macro_rules! declare_check_assert_macros {
    ($source_file_id:expr) => { ... };
}