HsSCC sorted, now for HsTickPragma