discard """
  output: '''
3
'''
"""

echo int(22 / 7)