First skeleton for bucketsort in boogie.