Modified sage-shell:send-input.