design_size=12; input b-cmsy;