checker-type.cpp