eval => EVAL in S01