HelloWorld program extracted; the extraction types