class Library {
    void println(string s) {}
}

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