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