Also, the first run of "@time" includes compilation. So for an accurate runtime, you'd want to run it twice and use the second timing.