program HELLOPROG {
	version HELLOVERS {
		string HELLO(void) = 1;
	} = 1;
} = 0x30000824;