: main
  [char] c   emit
  s" string"   type ;