eval_loop | See notes and comments by eval