-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Note also that the code
double x = x;
is allowed!
Stephane.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)
iD8DBQE+MT9HbZyhKhZwdc0RArnsAKC1/G1Mx7kGAgOwGRI8BM0OKdJnigCdHzJx
/6lg4B5RGDNCmNfIHZJVpBA=
=bEs3
-----END PGP SIGNATURE-----