] [<input> [<output [...] , json <output> A file [...] to generate the <output
the Vendor- (High-word) and Target-Id (Low-word [...] CmpLog an output
operations WORD 16 w [...] as for Safety-relevant in-/outputs
of words for this term [...] into various output formats