Bug 108: ICE using @attribute