module Rte:sig
..end
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