round-butt (112.037)