let e_field f = F.e_int64 (Ctypes.field_offset f)