type-complexity-threshold = 5000