let
int_dynarray = to_format (
BatDynArray
.print
BatInt
.print)