let fprint_integer_var ff var = match var with | Size c_n -> Format.fprintf ff "|%a.v|" fprint_word_var c_n | Iof (c_n, j) -> Format.fprintf ff "I_{%a}(%i)" fprint_word_var c_n j