4export_stringlen-as-value : Export a string [...] with its value: MY_STRING [...] mystring : STRING ( MY_STRING
errors to be displayed [...] for this to be displayed in the online [...] displays the value of a
CertInfo : STRING := 'My [...] number is displayed [...] CertInfo : STRING := 'AWS