That first class functions are passed by reference can be verified at the high level; e.g. with the eq function in Common Lisp.