DM42 and labels

[mchris]

I recently added a DM42 with the latest free42 firmware to my collection. I noticed that some programs with labels inside don't behave like expected. For example:

LBL "AAA"
XEQ 00
XEQ 10
RTN
LBL 00
"00"
AVIEW
RTN
LBL 10
"10"
AVIEW
RTN

This program when executed will display "10" first, then "10" again, and a third time (!) "00" and then ends. I was expecting to display "00" and then "10". The same behavior occurs with numeric local labels or global labels. I'm new to DM42 (HP42s) programming but I have experience with HP35s which has a similar language. Am I missing something?

When I run it with SST (step by step) it behaves as expected though.