rewrites: 22824815 in 3360ms cpu (7109ms real) (6793099 rewrites/second) (true).Boolean