let init () = ()