code: def test_dot():
      size = 5000
      x = np.random.normal(size=(size, size)).astype(np.float32)
      y = np.random.normal(size=(5, 1)).astype(np.float32)
  
      msg = ""
      try:
          with tsensor.clarify():
              z = jnp.dot(x, y).block_until_ready()
      except TypeError as e:
          msg = e.args[0]
  
      expected = (
          "Incompatible shapes for dot: got (5000, 5000) and (5, 1).\n"
          + "Cause: jnp.dot(x, y) tensor arg x w/shape (5000, 5000), arg y w/shape (5, 1)"
      )
      assert msg == expected
  
imports: import jax.numpy
  import numpy
  import tsensor
label_desc: Use image node_id 1 for calling a global function with example usage: test_dot() without return types