[dietrichepp]

This is actually quite common in languages which support ADTs—you stick tags in the pointer to discriminate between subtypes of a union.