¶ {attribute 'no_explicit [...] identification so that a [...] simulated device, i.e. in

) device. Result := Sys [...] purpose. {attribute 'no_explicit