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