discard """
maxcodesize: 1
"""

echo "Hello World"