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