libvex_guest_offsets.h
