; Compile each function definition as it is executed. #!acl2(set-compile-fns t)