+-- SLPJ Apr 99
+-- {-# INLINE [0] runSTRep #-}
+
+-- SDM: further to the above, inline phase 0 is run *before*
+-- full-laziness at the moment, which means that the above comment is
+-- invalid. Inlining runSTRep doesn't make a huge amount of
+-- difference, anyway. Hence:
+
+{-# NOINLINE runSTRep #-}