; (set! horizontal-slash-interval horizontal-slash-interval-default)
; (set! adjust-slash-stencil adjust-slash-stencil-default)
; (set! horizontal-slash-interval horizontal-slash-interval-default)
; (set! adjust-slash-stencil adjust-slash-stencil-default)