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