LexOS: More tests, fewer answers.