Integer

JR_INT

June 2, 2026

JR_INT_KV

June 2, 2026

JReadInteger

June 2, 2026

JW_INT

June 2, 2026

JW_INT_KV

June 2, 2026

BitVecFromInteger

June 2, 2026

BitVecNumericalCompare

June 2, 2026

BitVecSignedCompare

June 2, 2026

BitVecToInteger

June 2, 2026

BitVecTryFromInteger

June 2, 2026

Int

June 2, 2026

ZstrToI64

June 2, 2026