pub const ASSERT_ALTERNATE: u32 = 9u32;