TCE types.h should not be ignored.