An HelloWorld extension