let expr_to_kernel_function kinstr ~with_alarms ~deps exp =
CilE.start_stmt kinstr;
let state = Db.Value.noassert_get_state kinstr in
(* Format.printf "STATE IS %a@\n" Cvalue.Model.pretty state;*)
let r =
expr_to_kernel_function_state ~with_alarms state ~deps exp
in
CilE.end_stmt ();
r