Basic proof of concept for eval stepping in