proc `*`[bits: static[int]](a`gensym14: StUint[bits]; b`gensym14: int{lit}): StUint[
    bits] {.inline.}

proc `*`[bits: static[int]](a`gensym15: int{lit}; b`gensym15: StUint[bits]): StUint[
    bits] {.inline.}

proc `*`[bits: static[int]](a`gensym16: StInt[bits]; b`gensym16: int{lit}): StInt[
    bits] {.inline.}

proc `*`[bits: static[int]](a`gensym17: int{lit}; b`gensym17: StInt[bits]): StInt[
    bits] {.inline.}

proc `+`[bits: static[int]](a`gensym2: StUint[bits]; b`gensym2: int{lit}): StUint[
    bits] {.inline.}

proc `+`[bits: static[int]](a`gensym3: int{lit}; b`gensym3: StUint[bits]): StUint[
    bits] {.inline.}

proc `+`[bits: static[int]](a`gensym4: StInt[bits]; b`gensym4: int{lit}): StInt[
    bits] {.inline.}

proc `+`[bits: static[int]](a`gensym5: int{lit}; b`gensym5: StInt[bits]): StInt[
    bits] {.inline.}

proc `+=`[bits: static[int]](a`gensym6: StUint[bits]; b`gensym6: int{lit}): StUint[
    bits] {.inline.}

proc `+=`[bits: static[int]](a`gensym7: StInt[bits]; b`gensym7: int{lit}): StInt[
    bits] {.inline.}

proc `-`[bits: static[int]](a`gensym8: StUint[bits]; b`gensym8: int{lit}): StUint[
    bits] {.inline.}

proc `-`[bits: static[int]](a`gensym9: int{lit}; b`gensym9: StUint[bits]): StUint[
    bits] {.inline.}

proc `-`[bits: static[int]](a`gensym10: StInt[bits]; b`gensym10: int{lit}): StInt[
    bits] {.inline.}

proc `-`[bits: static[int]](a`gensym11: int{lit}; b`gensym11: StInt[bits]): StInt[
    bits] {.inline.}

proc `-=`[bits: static[int]](a`gensym12: StUint[bits]; b`gensym12: int{lit}): StUint[
    bits] {.inline.}

proc `-=`[bits: static[int]](a`gensym13: StInt[bits]; b`gensym13: int{lit}): StInt[
    bits] {.inline.}

proc `<`[bits: static[int]](a`gensym24: StUint[bits]; b`gensym24: int{lit}): bool {.
    inline.}

proc `<`[bits: static[int]](a`gensym25: int{lit}; b`gensym25: StUint[bits]): bool {.
    inline.}

proc `<`[bits: static[int]](a`gensym26: StInt[bits]; b`gensym26: int{lit}): bool {.
    inline.}

proc `<`[bits: static[int]](a`gensym27: int{lit}; b`gensym27: StInt[bits]): bool {.
    inline.}

proc `<=`[bits: static[int]](a`gensym28: StUint[bits]; b`gensym28: int{lit}): bool {.
    inline.}

proc `<=`[bits: static[int]](a`gensym29: int{lit}; b`gensym29: StUint[bits]): bool {.
    inline.}

proc `<=`[bits: static[int]](a`gensym30: StInt[bits]; b`gensym30: int{lit}): bool {.
    inline.}

proc `<=`[bits: static[int]](a`gensym31: int{lit}; b`gensym31: StInt[bits]): bool {.
    inline.}

proc `==`[bits: static[int]](a`gensym32: StUint[bits]; b`gensym32: int{lit}): bool {.
    inline.}

proc `==`[bits: static[int]](a`gensym33: int{lit}; b`gensym33: StUint[bits]): bool {.
    inline.}

proc `==`[bits: static[int]](a`gensym34: StInt[bits]; b`gensym34: int{lit}): bool {.
    inline.}

proc `==`[bits: static[int]](a`gensym35: int{lit}; b`gensym35: StInt[bits]): bool {.
    inline.}

proc `and`[bits: static[int]](a`gensym40: StUint[bits]; b`gensym40: int{lit}): StUint[
    bits] {.inline.}

proc `and`[bits: static[int]](a`gensym41: int{lit}; b`gensym41: StUint[bits]): StUint[
    bits] {.inline.}

proc `and`[bits: static[int]](a`gensym42: StInt[bits]; b`gensym42: int{lit}): StInt[
    bits] {.inline.}

proc `and`[bits: static[int]](a`gensym43: int{lit}; b`gensym43: StInt[bits]): StInt[
    bits] {.inline.}

proc `div`[bits: static[int]](a`gensym18: StUint[bits]; b`gensym18: int{lit}): StUint[
    bits] {.inline.}

proc `div`[bits: static[int]](a`gensym19: StInt[bits]; b`gensym19: int{lit}): StInt[
    bits] {.inline.}

proc divmod[bits: static[int]](a`gensym22: StUint[bits]; b`gensym22: int{lit}): StUint[
    bits] {.inline.}

proc divmod[bits: static[int]](a`gensym23: StInt[bits]; b`gensym23: int{lit}): StInt[
    bits] {.inline.}

proc `mod`[bits: static[int]](a`gensym20: StUint[bits]; b`gensym20: int{lit}): StUint[
    bits] {.inline.}

proc `mod`[bits: static[int]](a`gensym21: StInt[bits]; b`gensym21: int{lit}): StInt[
    bits] {.inline.}

proc `or`[bits: static[int]](a`gensym36: StUint[bits]; b`gensym36: int{lit}): StUint[
    bits] {.inline.}

proc `or`[bits: static[int]](a`gensym37: int{lit}; b`gensym37: StUint[bits]): StUint[
    bits] {.inline.}

proc `or`[bits: static[int]](a`gensym38: StInt[bits]; b`gensym38: int{lit}): StInt[
    bits] {.inline.}

proc `or`[bits: static[int]](a`gensym39: int{lit}; b`gensym39: StInt[bits]): StInt[
    bits] {.inline.}

proc `xor`[bits: static[int]](a`gensym44: StUint[bits]; b`gensym44: int{lit}): StUint[
    bits] {.inline.}

proc `xor`[bits: static[int]](a`gensym45: int{lit}; b`gensym45: StUint[bits]): StUint[
    bits] {.inline.}

proc `xor`[bits: static[int]](a`gensym46: StInt[bits]; b`gensym46: int{lit}): StInt[
    bits] {.inline.}

proc `xor`[bits: static[int]](a`gensym47: int{lit}; b`gensym47: StInt[bits]): StInt[
    bits] {.inline.}

template mtoIsNeg{
  a < 0
}(a: StInt): bool

template mtoIsNegOrZero{
  a <= 0
}(a: StInt): bool

template mtoIsPos{
  0 < a
}(a: StInt): bool

template mtoIsPosOrZero{
  0 <= a
}(a: StInt): bool

template mtoIsZeroL{
  a == 0
}(a: StUint or StInt): bool

template mtoIsZeroR{
  0 == a
}(a: StUint or StInt): bool