pub const ISFB_STATE_DEBOSSED: u32 = 1u32;