val main = fn () => Hello world! Ditto.