tokens: Apesar de geralmente ser impossível determinar em tempo de compilação se tais conversões são seguras , algumas linguagens armazenam informações sobre tipagem em tempo de execução ( como o processo RTTI do C ++ ) , que podem ser usadas para confirmar se tais conversões perigosas são válidas , em tempo de execução .