set_char_box (accreg_dot_size# / 2, accreg_dot_size# / 2,
accreg_dot_size# / 2, accreg_dot_size# / 2);
set_char_box (accreg_dot_size# / 2, accreg_dot_size# / 2,
accreg_dot_size# / 2, accreg_dot_size# / 2);
save r, pp, ir, lh, lt, stroke_width;
r# = staff_space#;
save r, pp, ir, lh, lt, stroke_width;
r# = staff_space#;