[nhc-bugs] "hmake +RTS" loops