let
empty_ar =
Impl
.create 0