val print :
string ->
(Stdlib.out_channel ->
(Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.exp) ->
unit) ->
(Stdlib.out_channel ->
(Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.lval) ->
unit) ->
(Stdlib.out_channel -> string -> unit) ->
unit