let
pp_title fmt arr =
Format
.fprintf fmt
"AofData for %a "
Ctypes
.pretty (
C_array
arr)