fix REPL crash (ignoring BOUNDS_CHECK for now)