11.229 Thoughts on “Hello world!”