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