* PROBLEMS: Document threads/2137.