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