Variable Nat32Const