time-dollar-with-gc

other

(in-package "ACL2")

other

(defttag :profiling)

other

(progn! (set-raw-mode t)
  (load (concatenate 'string (cbd) "time-dollar-with-gc-raw.lsp")))

other

(defmacro-last time$-with-gc1)

time$-with-gcmacro

(defmacro time$-with-gc
  (form)
  `(return-last 'time$-with-gc1-raw 'doesntseemtomatter ,FORM))