Example of dynamic_cast for ID Token