sig
  val stmt :
    ?warn:bool ->
    Cil_types.kernel_function ->
    Cil_types.stmt -> Cil_types.code_annotation list
  val exp :
    ?warn:bool ->
    Cil_types.kernel_function ->
    Cil_types.stmt -> Cil_types.exp -> Cil_types.code_annotation list
end