1 2 3 4
(include *standard-cl-23*) (import qualified programs.classic as P1) (export () (list P1.program_hash P1.program))