Dec 15, 1993 21:19

This thing is similar to test11, this time we're downcasting.  The
normalization should occur *before* the cast.

