0.452s -> 0.324s (in bench.c)