<@U0B8ZP13Q>: is `(0..12).toArrayList().toIntArray...
# stdlib
a
@cedric: is
(0..12).toArrayList().toIntArray()
less optimized than a create a 0-inited array, and initialize with a
for i in 0..12
?