#include <iostream> 

int main() 
{ 
  char c; 

  c = 65; 
  std::cout << "c: " << static_cast<int>(c) << std::endl; 
}