t_polym: test on polymorphism