let
nothing =
object
method
is_done =
None
end