• PragmaOptions
• PragmaOptions.PragmaBackendType
• PragmaOptions.PragmaMessageType
• PragmaOptions.PragmaSessionType