CADJ STORE rbct0 = tapelev4, key = ilev_4
CADJ STORE rbct1 = tapelev4, key = ilev_4
CADJ STORE rbcs0 = tapelev4, key = ilev_4
CADJ STORE rbcs1 = tapelev4, key = ilev_4

#ifdef ALLOW_PTRACERS
CADJ STORE rbcptracer0 = tapelev4, key = ilev_4
CADJ STORE rbcptracer1 = tapelev4, key = ilev_4
#endif