proc `$`(a: Int128): string {....raises: [], tags: [], forbids: [].}

proc `*`(a: Int128; b: int32): Int128 {....raises: [], tags: [], forbids: [].}

proc `*`(lhs, rhs: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc `*=`(a: var Int128; b: Int128) {....raises: [], tags: [], forbids: [].}

proc `+`(a, b: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc `+`(a: BiggestInt; b: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc `+`(a: Int128; b: BiggestInt): Int128 {....raises: [], tags: [], forbids: [].}

proc `+=`(a: var Int128; b: Int128) {....raises: [], tags: [], forbids: [].}

proc `-`(a, b: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc `-`(a: BiggestInt; b: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc `-`(a: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc `-`(a: Int128; b: BiggestInt): Int128 {....raises: [], tags: [], forbids: [].}

proc `-=`(a: var Int128; b: Int128) {....raises: [], tags: [], forbids: [].}

proc `<`(a, b: Int128): bool {....raises: [], tags: [], forbids: [].}

proc `<`(a: BiggestInt; b: Int128): bool {....raises: [], tags: [], forbids: [].}

proc `<`(a: Int128; b: BiggestInt): bool {....raises: [], tags: [], forbids: [].}

proc `<=`(a, b: Int128): bool {....raises: [], tags: [], forbids: [].}

proc `<=`(a: BiggestInt; b: Int128): bool {....raises: [], tags: [], forbids: [].}

proc `<=`(a: Int128; b: BiggestInt): bool {....raises: [], tags: [], forbids: [].}

proc `==`(a, b: Int128): bool {....raises: [], tags: [], forbids: [].}

proc `==`(a: BiggestInt; b: Int128): bool {....raises: [], tags: [], forbids: [].}

proc `==`(a: Int128; b: BiggestInt): bool {....raises: [], tags: [], forbids: [].}

proc abs(a: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc addInt128(result: var string; value: Int128) {....raises: [], tags: [],
    forbids: [].}

proc addToHex(result: var string; arg: Int128) {....raises: [], tags: [],
    forbids: [].}

proc bitand(a, b: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc bitnot(a: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc bitor(a, b: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc bitxor(a, b: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc castToInt64(arg: Int128): int64 {....raises: [], tags: [], forbids: [].}

proc castToUInt64(arg: Int128): uint64 {....raises: [], tags: [], forbids: [].}

proc cmp(a, b: Int128): int {....raises: [], tags: [], forbids: [].}

proc `div`(a, b: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc divMod(dividend, divisor: Int128): tuple[quotient, remainder: Int128] {.
    ...raises: [], tags: [], forbids: [].}

proc fastLog2(a: Int128): int {....raises: [], tags: [], forbids: [].}

proc inc(a: var Int128; y: uint32 = 1) {....raises: [], tags: [], forbids: [].}

proc maskBytes(arg: Int128; numbytes: int): Int128 {.noinit, ...raises: [],
    tags: [], forbids: [].}

proc maskUInt8(arg: Int128): Int128 {.noinit, inline, ...raises: [], tags: [],
                                      forbids: [].}

proc maskUInt16(arg: Int128): Int128 {.noinit, inline, ...raises: [], tags: [],
                                       forbids: [].}

proc maskUInt32(arg: Int128): Int128 {.noinit, inline, ...raises: [], tags: [],
                                       forbids: [].}

proc maskUInt64(arg: Int128): Int128 {.noinit, inline, ...raises: [], tags: [],
                                       forbids: [].}

proc `mod`(a, b: Int128): Int128 {....raises: [], tags: [], forbids: [].}

proc parseDecimalInt128(arg: string; pos: int = 0): Int128 {....raises: [],
    tags: [], forbids: [].}

proc `shl`(a: Int128; b: int): Int128 {....raises: [], tags: [], forbids: [].}

proc `shr`(a: Int128; b: int): Int128 {....raises: [], tags: [], forbids: [].}

proc toFloat64(arg: Int128): float64 {....raises: [], tags: [], forbids: [].}

proc toHex(arg: Int128): string {....raises: [], tags: [], forbids: [].}

proc toInt(arg: Int128): int {....raises: [], tags: [], forbids: [].}

proc toInt8(arg: Int128): int8 {....raises: [], tags: [], forbids: [].}

proc toInt16(arg: Int128): int16 {....raises: [], tags: [], forbids: [].}

proc toInt32(arg: Int128): int32 {....raises: [], tags: [], forbids: [].}

proc toInt64(arg: Int128): int64 {....raises: [], tags: [], forbids: [].}

proc toInt64Checked(arg: Int128; onError: int64): int64 {....raises: [], tags: [],
    forbids: [].}

proc toInt128(arg: float64): Int128 {....raises: [], tags: [], forbids: [].}

proc toInt128[T: SomeInteger | bool](arg: T): Int128

proc toUInt(arg: Int128): uint {....raises: [], tags: [], forbids: [].}

proc toUInt8(arg: Int128): uint8 {....raises: [], tags: [], forbids: [].}

proc toUInt16(arg: Int128): uint16 {....raises: [], tags: [], forbids: [].}

proc toUInt32(arg: Int128): uint32 {....raises: [], tags: [], forbids: [].}

proc toUInt64(arg: Int128): uint64 {....raises: [], tags: [], forbids: [].}

template high(t: typedesc[Int128]): Int128

template low(t: typedesc[Int128]): Int128