proc.loop.bubble_sort_inverted