eval-safe-res done, modulo output not free issues