ex12 typeinfo done