Hello world from a custom extension!