let
init _ _ =
lazy
()