let
fprint_word_var ff (
C
n) =
Format
.fprintf ff
"c_%d"
n