object
  method lock : unit -> unit
  method repr : exn
  method try_lock : unit -> bool
  method unlock : unit -> unit
end