type-complexity-threshold = 1000