[ 2011-03-24 Madrid ]
WG14 does not require these typedefs, and we see no reason to be gratuitously different.