Code generation for b/HelloWorld.php