def print(x):
  __semantic_print(x)
  return x