(let ((t19 (set! retval10 (read-char proc-output11))))
        (let ((t20 (##sys#call-with-values
                     (##core#lambda () (process command6))
                     (##core#lambda
                       (proc-output714 proc-input815 proc-id916)
                       (let ((t17 (set! proc-output11 proc-output714)))
                         (let ((t18 (set! proc-input12 proc-input815)))
                           (set! proc-id13 proc-id916)))))))
          (let ((t21 (close-input-port proc-output11)))
            (let ((t22 (close-output-port proc-input12))) retval10)))))))