added debugging in REPL F7