let add_field p finfo = { p with p_off = p.p_off@[Lookup.Ofield finfo] ; p_type = Some (object_of finfo.ftype) }