type_check
