Hello, world! (from ASDF)