DEFINITION MODULE Extended ; (* 0x40 extended sub-opcode dispatch (§10.2 of the spec). *) EXPORT QUALIFIED Execute ; PROCEDURE Execute ; END Extended.
