testing type smashing for default