sig
val
use_builtin :
Cil_types
.kernel_function
->
string
->
unit
end