string list ->
string ->
string -> string -> object method lock : unit method unlock : unit end