--
-- This file has been auto-generated by egison-translator.
--

def main (args: [String]) : IO () := print "Hello, world!"