Updated example HelloWorld.pkt with new syntax.