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