, then loads and starts [...] loads a (different

during the loading of the boot [...] ) has been loaded [...] ) are loaded

during the loading of the new boot application, the loading

decrements CV by 1. LOAD [...] IF LOAD THEN CV := PV

the application is to be loaded [...] application loaded [...] application loaded

application is loaded [...] the state of a non-loaded [...] If the application is loaded

as initialization after loading

. LOAD BOOL FALSE TRUE [...] ESLIF LOAD THEN CV :=

loaded to the safety [...] which is loaded when logging

should be loaded and started