Use ieee.gen in tutoring console