Since
,
and we know that
is
at most one instruction later than
,
we know that there
can't be any instructions between our toucher
and the
current instruction
.
The only thing we can do is to
serially execute these two instructions, which means just putting
them in main and hoping that they will be moved into a
separate task later on.