<<>> <> <> <> Pass4Parms: DEFINITIONS = BEGIN globalOverheadBits: NAT = 128; <> <<>> localOverheadBits: NAT = 128; <> <<>> links: LinksOptions = [TRUE, TRUE, FALSE, TRUE]; <<(options chosen for Dragon)>> LinksOptions: TYPE = RECORD [ indirect: BOOL, -- TRUE => use interface record embedded: BOOL, -- TRUE => links are in frame or code, else preceed alwaysCode: BOOL, -- TRUE => links must be in code segment alwaysFrame: BOOL -- TRUE => links must be in global frame ]; END. <<>>