crocotinum, genus operis pistorii, Paul. ex Fest. 53, 5.
http://www.zeno.org/Georges-1913. 1806–1895.