CC: (BUG LISPM) at MIT-AI for eval at load time to make sense, it has to be part of a quoted structure at compile time. So you want (defun foo nil ',#(+ 2 2)). However, it does not have to be at the "top level" which is why the quoting action is not included in the #, .