object ('a)
  method private virtual guard : ('a, 'i, 'o, unit) Cf_state_gadget.guard
  method start : ('s, 'i, 'o, unit) Cf_state_gadget.t
end