proper hack casting for get<>