/*
CONST %aa = 2**32**8 ; atomic ** atomic
CONST %aa = 2**32 ; atomic ** atomic
CONST %bb = 2**32-1 ; atomic ** atomic ~ rest
CONST %bb = (1+1)**32-1 ; expr ** atomic ~ rest
CONST %bb = 2**(31+1)-1 ; atomic ** expr ~ rest
CONST %bb = (1+1)**(31+1)-1 ; expr ** expr ~ rest
CONST %bb = (1+1)**(-32)-1 ; expr ** expr ~ rest
CONST %cc = 2**32-1-1 % 10
CONST %dd = 2**(32-1) ; good
CONST %ee = (2**32)-1 ; good


CONSTL %P2_C0_EGX = %ECGX & 0xFFFF

a:
  -1 => B

CONST %MAX_CNT_PADDING_PG_LIMIT = (%TOTAL_STEPS_LIMIT / 56)
*/


; CONSTL %FPEC = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2Fn
; CONSTL %FPEC_MINUS_ONE = %FPEC - 1
; CONSTL %FNEC_DIV_TWO = 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0n
; CONSTL %FPEC_C2_256 = 0x1000003D1n
; CONSTL %FPEC_NON_SQRT = (1n << 256n) - 1n
;
; CONSTL %FNEC = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141n
; CONSTL %FNEC_MINUS_ONE = %FNEC - 1
;
; CONSTL %ECGX = 0x79BE667EF9DCBBAC55A06295CE870B07029BFCDB2DCE28D959F2815B16F81798n
; CONSTL %ECGY = 0x483ADA7726A3C4655DA4FBFC0E1108A8FD17B448A68554199C47D08FFB10D4B8n
; CONSTL %P2_160 = 2n ** 160n
; CONSTL %P2_96 = 2n ** 96n

/*
Run:
    0 => HASH_LEFT, HASH_RIGHT, OLD_ROOT, NEW_ROOT, VALUE_LOW, VALUE_HIGH, SIBLING_VALUE_HASH, RKEY, SIBLING_RKEY, RKEY_BIT, LEVEL
*/

a:
  A :MSTORE(SP--)