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