sig
val
compute : int
->
Cil_types
.file
->
unit
end