documenting anomaly: gcc-4.7.2 bug??