> I'm pleased to report some progress on compiling HOL. I left > a compile running last night that completed in 8.6 hours. Yikes! What was the pre-backend/backend/codegen breakdown?