2 EXECUTE
A @D00(@D11()@)@ <@U00(@D12()@)@> -4
E @A00(TMPXCT)@
