(
(brt (jnz 0))
(brnt (jae 0))
)