# >>   
+
  EXPECT Max "returns X when X > Y" ->
  +
    X = Random (2^8, 2^16)
    Y = Random (0, 2^8 - 1)

    if Max (X, Y) = X return 1
    else return 0
  ; 

  EXPECT Max "returns Y when Y > X" ->
  +
    X = Random (0, 2^8 - 1)
    Y = Random (2^8, 2^16)

    if Max (X, Y) = Y return 1
    else return 0
  ;

  ú
  ú
  ú

;