#!/usr/bin/env mars

# Hello World

import prelude

def main() :: io Num:
    print_string("Hello, world!\n")
    return 0