1 /* It seems an odd (and particularly useless) thing to have an empty pragma, 2 * but we probably shouldn't trigger an error in this case. */ 3 #pragma 4