>> ()
{
  <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;
                                         };
  ú
  ú
  ú
}