from micropython import const

HARDENED = const(0x80000000)