- single-set! sg xprocedure
command ((old new (lambda (sg x) (%single-ref sg))))
(single-set! sg x) requires (%single? sg) ensures (equal? new x)
command ((old new (lambda (sg x) (%single-ref sg))))
(single-set! sg x) requires (%single? sg) ensures (equal? new x)