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