Workshop equipment. Bureau of Ships manual: chap. 91, Workshop equipment on ships; Dec. 20, 1946.