Code to play with autovectorization.