Add example trace from running ismulator on euclid program