module src/lib def helloWorld(): String = "Hello, world!"