Integer

JR_INT

July 1, 2026

JR_INT_KV

July 1, 2026

JReadInteger

July 1, 2026

JW_INT

July 1, 2026

JW_INT_KV

July 1, 2026

Int

July 1, 2026

BitVecFromInteger

July 1, 2026

BitVecNumericalCompare

July 1, 2026

BitVecSignedCompare

July 1, 2026

BitVecToInteger

July 1, 2026

BitVecTryFromInteger

July 1, 2026

ZstrToI64

July 1, 2026