Return 42 on HelloWorld