1bad_pragmas.rscript:5:9: error: unknown pragma ignored 2bad_pragmas.rscript:6:9: error: unknown pragma ignored 3bad_pragmas.rscript:7:9: error: unknown pragma ignored 4bad_pragmas.rscript:8:8: error: unknown pragma ignored 5bad_pragmas.rscript:9:9: error: unknown pragma ignored 6bad_pragmas.rscript:10:9: error: unknown pragma ignored 7bad_pragmas.rscript:11:9: error: unknown pragma ignored 8