def foo(a: Tensor) -> NoneType:
  print("hi\016")
  return None