fprintf (file, "#define offobjvftbl %3d\n", (int) OFFSET(java_objectheader, vftbl));
fprintf (file, "#define offarraysize %3d\n", (int) OFFSET(java_arrayheader, size));
fprintf (file, "#define offobjarrdata %3d\n\n", (int) OFFSET(java_objectarray, data[0]));
fprintf (file, "#define offobjvftbl %3d\n", (int) OFFSET(java_objectheader, vftbl));
fprintf (file, "#define offarraysize %3d\n", (int) OFFSET(java_arrayheader, size));
fprintf (file, "#define offobjarrdata %3d\n\n", (int) OFFSET(java_objectarray, data[0]));