pub const FP_STATE_BYTES: u32 = 512;