RTS_FUN(atomicallyzh_fast);
RTS_FUN(newTVarzh_fast);
RTS_FUN(readTVarzh_fast);
+RTS_FUN(readTVarIOzh_fast);
RTS_FUN(writeTVarzh_fast);
RTS_FUN(checkzh_fast);
RTS_FUN(unpackClosurezh_fast);
RTS_FUN(getApStackValzh_fast);
+RTS_FUN(getSparkzh_fast);
RTS_FUN(noDuplicatezh_fast);