3 stafflinethickness# = staffsize#/10;
4 define_pixels (stafflinethickness, staffsize);
12 indent = 1.17 staffsize;
13 height = 6.15 staffsize;
21 z2 = (indent, height);
22 z3 = (len - indent, height);
25 boogje=z1..controls z2 and z3..z4;
26 pickup pencircle scaled stafflinethickness;