+ width# := 1.4 staff_space#;
+ bulb_diam# := 0.64 staff_space#;
+ thin# := 1.2 stafflinethickness#;
+ thick# := 2.2 stafflinethickness#;
+ crook_thick# := 1.8 stafflinethickness#;
+ crook_thin := 1.3 stafflinethickness;
+
+ lower_brush := 1.5 stafflinethickness;
+
+ define_pixels (width, bulb_diam, thin, thick, crook_thick);
+ set_char_box (0, width#,
+ 3.0 staff_space# + 0.5 stafflinethickness#, 1.5 staff_space# + bulb_diam#/2);
+
+ penpos1 (thick, 0);
+ penpos2 (thin, 10);
+
+ y1 = -3 staff_space ;
+ y2 = h - lower_brush;
+ x2r = width;
+ z2 = z1 + whatever*dir(78);
+ z9 = z2 + 0.5 stafflinethickness * dir (angle(z2 - z1)- 10);
+ pat = z1l --- z2l .. z9 .. z2r --- simple_serif (z1r, z1l, -40) .. cycle;
+ fill pat;
+
+
+ draw_rest_bulb(1.5 staff_space , y2r , pat , 0.94);
+ draw_rest_bulb(0.5 staff_space , (0.5+0.20)*staff_space , pat , 0.98);
+ draw_rest_bulb(-0.5 staff_space , (-0.5+0.21)*staff_space , pat , 1.02);
+ draw_rest_bulb(-1.5 staff_space , (-1.5+0.22)*staff_space , pat , 1.06);
+ penlabels (1, 2);
+ labels(9);
+
+ % draw_staff (-2,2,0.0);