/* Variable size, wordsize, pointer size. Offsets for local variables. */
extern int wz, pz, vz;
extern int curr_level, curr_offset, min_offset;