// Bubble sort

DESIGNA arr VT [V, III, VIII, I, IX, II, VII, IV, VI, X]
DESIGNA n VT LONGITVDO(arr)

DONICVM i VT I VSQVE n FACE {
  DONICVM k VT I VSQVE n - i + I FACE {
    SI arr[k] PLVS arr[k + I] TVNC {
      DESIGNA temp VT arr[k]
      DESIGNA arr[k] VT arr[k + I]
      DESIGNA arr[k + I] VT temp
    }
  }
}

PER x IN arr FACE {
  DICE(x)
}