pushc 4 pushc 4 eq brf L1 pushc 6 wrint pushc 10 wrchr halt L1: pushc 7 wrint pushc 10 wrchr halt