On somewhat similar note dfsch implements tail calls by essentially throwing C-level exception (the VM contains somewhat ugly C macrology that implements except

On somewhat similar note dfsch implements tail calls by essentially throwing C-level exception (the VM contains somewhat ugly C macrology that implements exception handling in C in a way that is somewhat similar to WinAPI's exceptions, this is then used to implement TCO, tagbody and condition system). The implementation is arguably ugly, but the end result is that anything that you can do in scheme code you can also do in C native functions.