It supports full tail-recursion and first-class continuations. The code it generates is quite portable; compiled files generated by it should work with either no or minor changes on other systems.