pushc 3 pushc 4 eq brt L1 pushc 5 wrint pushc 10 wrchr halt L1: pushc 7 wrint pushc 10 wrchr halt