program HELLOWORLDPROG { version HELLOWORLDVERS { string HELLOWORLD(void) = 1; } = 1; } = 0x30000498;