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