"""
  >>> x + y
  42
  >>> type(message)
  <class 'str'>
  >>> len(message)
  13
"""


if __name__ == '__main__':
    import doctest
    doctest.testmod()