%-

(:def boy   
  Boy : sex)

tydecl sex = Boy | Girl

(:def main
  "Hello, World!")