tracei 0x1000 after 3
traces the instruction at address 1000 (hex) the third time it is reached.
tracei 0x500 if a == 0
traces the instruction at address 500 (hex) if a is equal to 0.