@screwtape I don't know who that is, I do know how CADR, Lambda, K-machine, 36xx, Ivory, and Exploders work. One did not write microcode in Lisp in any shape or form.
Here is the implementation for the FALSE function (for CADR and Lambda/Exploder):
(MISC-INST-ENTRY FALSE)
XFALSE (POPJ-AFTER-NEXT (M-T) A-V-NIL)
(NO-OP)
This is not Lisp, it is microcode which just means "move A-V-NIL into M-T", and return.