/* 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