def swap(&left, &right) {
  def t := left
  left := right
  right := t
}