Hello,

The attached patch clarifies which ISO C gdb assumes.  Ok to commit?

Andrew