pub const NFC_BRICKLET_READER_STATE_WRITE_PAGE_READY: u8 = 132;