ex13 typeinfo done