ODR and typecast