Originally we used Scheme48. I forget exactly why we switched. I vaguely recall some problem with threads. I think we chose PLT Scheme because it seemed like the default Scheme implementation.