Re: Helper function to dump REPL-optimized core