./sicp-acl2.before