./sicp-acl2.run