semmle-extractor-options: /nostdlib /noconfig
semmle-extractor-options: --load-sources-from-project:../../../resources/stubs/ServiceStack/10.0.4/ServiceStack.csproj
semmle-extractor-options: --load-sources-from-project:../../../resources/stubs/ServiceStack.OrmLite.SqlServer/10.0.4/ServiceStack.OrmLite.SqlServer.csproj