% 12-point cminch. design_size := 12; input b-cminch;