[("GHC RTS", "YES")