(
  (ld r8 0)

  (ld r0 1
    (true? (add r8 1))
  )

  (sub r0 1
    (pos? (fault))
    (else? (add r8 1))
  )

  (nop
    (always? (add r8 1))
  )

  (nop
    (never? (fault))
  )

  (cmp r8 3
    (ne? (fault))
  )
)