sec 4: a bit on asynchronous memory transfer
sec 4: wibbles
sec 4: external compilation
listings: highlight character literals
sec 4: kernel caching
Revert "listings: highlight character literals"

Mucks up bindings such as x'

This reverts commit ab9a4568aa3ee7882702c8b848759434ab110d58.
sec 4: executing programs
sec 4: compilation conclusion
sec 4: listing wibble
wibbles
ways to procrastinate #273: curate your Papers library
sec 4: some code gen stuff