Here's a link to OTCC, which we talked about some time ago.
http://bellard.org/otcc/
Marc