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