ido-type.cpp