How to save lists containing functions to disk

Doing this in CMUCL:

(defun pp (x) (* x 2))
(compile 'pp)
(list 'a 'b (symbol-function 'pp))

I obtain this:

(A B #<Function PP {58A94879}>)

Is there any way to save the list to a file, including the compiled
function, and then, in another session, reload and use that function?
Thanks.

.

Relevant Pages