let expr_to_kernel_function = ref (fun s ~with_alarms ~deps exp -> !Db.Value.expr_to_kernel_function (Kstmt s) ~with_alarms ~deps exp)