comparison opcode (store result in ALPHA_AT) branch to FOO if ALPHA_AT is false unconditional jump to XXXX FOO: more things in C code int at; at = (x > Y); if (!at) { goto XXXX; } /* more code here */