[stingraycharles]

actually there was multi-threading, using sort of kick-based synchronisation primitive

I think they actually used an actor-based threading model.