# >>   
+
  EXPECT Max ERR_PARAMETER "when X < 0" ->
  +
    X <- 2^32, DWORD
    Y <- 1, DWORD

    Z = Max (X, Y)
  ; 

  EXPECT Max ERR_PARAMETER "when Y < 0" ->
  +
    X <- 1, DWORD
    Y <- 2^32, DWORD

    Z = Max (X, Y)
  ; 

  ú
  ú
  ú

;