From https://github.com/ksplice/code-review (imported from commit ff6ca29832749ab8f2f6434eb64395a239031f1c)