This saves time and avoids unnecessary SSD wear. Signed-off-by: Anders Kaseorg <andersk@mit.edu>
require()