(defknown %load-time-value (t) t (flushable movable))
(def-ir1-translator load-time-value ((form &optional read-only-p) start cont)
(defknown %load-time-value (t) t (flushable movable))
(def-ir1-translator load-time-value ((form &optional read-only-p) start cont)