This is more straightforward than using readline because it already works
properly with panicwrap.