This is part of the hello world tutorial