class Hello {
    void main(string[] args) {
	Library.println("Hello world!");
    }
}