Unexpected non-termination

[morganthomas]

Steps to reproduce:

1. Add the following data to a text file (non-terminating.bin):

010001110000000000011101111111000000101010000000000000000000001111111010110000000000000000000010

2. Run this command:

coq-tinyram non-terminating.bin /dev/null /dev/null 10

Expected result: answers zero.

Actual result: coq-tinyram does not halt.

Explanation: this program disassembles as follows:

SMULH r3 r0 7676
OR r2 r2 r3
ANSWER r2

Maybe it actually terminates, but SMULH takes so much time that it doesn't appear to terminate?