11 int main (int argc, char *argv[])
17 offset = ((long) ((unsigned char *) &((OrcProgram*) 0)->code_exec));
19 if (sizeof(void *) == 4) {
20 expected_offset = 8360;
22 expected_offset = 9688;
25 if (offset != expected_offset) {
26 printf("ABI bug: OrcProgram->code_exec should be at offset %ld instead of %d\n",
27 offset, expected_offset);