sig
  val proc_of_fun : ('a -> 'b) -> 'a -> 'b Rml_fake.process
  val exec : ('a, 'b) Rml_fake.event -> ('c -> 'a) -> 'c -> unit
  val safe_emit : ('a, 'b) Rml_fake.event -> 'a -> unit
  val yield : unit -> unit
end