#include <iostream>
#include <typeinfo>
using namespace std;

int main() {
    typedef int distance; 
    typedef int weight;  
    distance d=10; weight w=20; 
    auto s=d+w;    // valid, d and w are just int
    cout << typeid(d).name() <<" " << typeid(w).name() <<" "<< typeid(int).name()<<endl; 
    return 0;
}