The text 929adf719f1d, as Debian 7 (Wheezy) shipped it.
Restores a previously saved cursor position.
function::ansi_cursor_restore(3stap) on Linux now
