El uso de I' y J' es el mismo que el de I y J...sólo cambia el índice de la pila al que acceden.
Cuando tienes un loop I' y J' son los límites del loop exterior e interior. Por lo que en un loop que sea necesario saber el límite (el clásico problema de imprimir un diamante con asteriscos, p.ej.), el acceso es muy sencillo y no destructivo
Si tienes una palabra en la que jugueteas con la return stack, I, I`, J y J`te permiten el acceso a las 4 primeras CELLS de la return stack (puedes meter hasta 4 datos en ella), con las ventajas que esto te ofrece (acceso no destructivo a estos 4 datos)
Eso si: es muy importante el momento en el que hacer el >r. Si lo haces antes de una word, sabes que como mínimo, en la return stack se guarda en el nivel 1 una cell con la dirección de memoria a la que volver tras esa word, por lo que nuestro dato queda empujado un nivel hacia abajo (para usar ese dato dentro de dicha word). Si lo usamos dentro de una palabra, pues hay que ser conscientes de limpiar ese dato/s de la return para no crashear el sistema (como en ensamblador)