The text 12611aa6b0f3, as Debian 10 (Buster) shipped it.
Restores a previously saved cursor position.
function::ansi_cursor_restore(3stap) on Linux now
