Factored out array concatenation from bucketsort in Boogie.