A pragma, i.e., a string literal within the module header Pragma section.
Pragma
The Avail A_String version of the kotlinString.