AutoCorres extracted from https://github.com/seL4/l4v/commit/88b01788b3faf8b69ad53d83abc7bb60cac29e50
