pushc 3 pushc 4 eq wrint pushc 10 wrchr pushc 6 pushc 6 eq wrint pushc 10 wrchr halt