object ('a)
  method private virtual guard : ('a, 'b, 'c, unit) Cf_gadget.guard_t
  method next : ('a, 'b, 'c, unit) Cf_gadget.t
end