sig
val
oneret :
Cil_types
.fundec
->
unit
end