CADJ STORE rbct0 = tapelev2, key = ilev_2 CADJ STORE rbct1 = tapelev2, key = ilev_2 CADJ STORE rbcs0 = tapelev2, key = ilev_2 CADJ STORE rbcs1 = tapelev2, key = ilev_2 #ifdef ALLOW_PTRACERS CADJ STORE rbcptracer0 = tapelev2, key = ilev_2 CADJ STORE rbcptracer1 = tapelev2, key = ilev_2 #endif