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