5.449 Thoughts on “Hello world!”