module VIRTUAL (TYPES, SIZE) is

-------------------------------------------------------------------------------

-- declaration of virtual process EXECUTE, which is defined in the
-- APPLICATION module (files Scenarios/APPLICATION_*.lnt)

process EXECUTE [ST, MSG: any]
                (id: Pid, j: Job_Desc, in out s: Job_Desc_Stack) is
   !virtual
end process

-------------------------------------------------------------------------------

end module