This is slightly clearer, and pacifies Ubuntu 12.04 gcc.
Attach a file by drag & drop or click to upload