All work until 2013-12-26
Use `feedkeys()` instead of `normal!`