#include "axiom"

HelloWorld(): String == "Hello, world!"

HelloWorld()