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