Answer to StackOverflow Question 1

staload "ast.sats"


implement main0 () = () where {
    val _ = print "Hello World!\n"
    val _ = free_vars (ast_var "a")
    
}