code: def test_tir_intimm_overflow():
      assert int(tir.const(255, "uint8") + tir.const(1, "uint8")) == 0
      assert int(
          tir.const(2**31 - 1, "int32") + tir.const(1, "int32")
      ) == -(2**31)
      assert (
          int(tir.const(2**32 - 1, "uint32") + tir.const(1, "uint32"))
          == 0
      )
      assert int(
          tir.const(2**63 - 1, "int64") + tir.const(1, "int64")
      ) == -(2**63)
      assert (
          int(
              tir.const(2**32, "uint64")
              * tir.const(2**32, "uint64")
          )
          == 0
      )
      # customized int types
      assert int(tir.const(7, "int4") + tir.const(1, "int4")) == -8
      assert int(
          tir.const(2**39 - 1, "int40") + tir.const(1, "int40")
      ) == -(2**39)
  
imports: import math
  import random
  import numpy
  import tvm
  import tvm.testing
  import pytest
  from tvm import tir
  from tvm.script import tir
  import pytest
label_desc: Use image node_id 4 for calling a global function with example usage: test_tir_intimm_overflow() without return types