HP_CHK_GEN_TICKY(SIZE, R1_PTR & R2_PTR, atomicModifyMutVarzh_fast);
#if defined(THREADED_RTS)
HP_CHK_GEN_TICKY(SIZE, R1_PTR & R2_PTR, atomicModifyMutVarzh_fast);
#if defined(THREADED_RTS)
StgThunk_payload(r,0) = z;
#if defined(THREADED_RTS)
StgThunk_payload(r,0) = z;
#if defined(THREADED_RTS)