Play w/ vimux
Vimux stuff for SICP