Test that runST is not inlined prematurely