let
char_dynarray = to_format (
BatDynArray
.print
BatChar
.print)