discard """
  targets: "c"
  maxcodesize: 1
"""

echo "Hello World"