demo-type.cpp