MUREX, TORCH