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