forgot to invoke type_check.cc