pub const DEBUG_ASMOPT_VERBOSE: u32 = 1u32;