if (x0 < x1) {
  if (x0 < x2) {
    /* x0 is min */
    if (x1 < x2) {
      min=x0;
      max=x2;
    }
    else {
      min=x0;
      max=x1;
    }
  }
  else {
    /* x2 is min, x0 < x1, so x1 is max */
    min=x2;
    max=x1;
  }
}
else {
  /* x1 < x0 */
  if (x1 < x2) {
    /* x1 is min , what is max */
    if (x2 < x0) {
      min=x1;
      max=x0;
    }
    else {
      min=x1;
      max=x2;
    }
  }
  else {
    /* we know x1 < x0, x2 < x1, so x2 is min, x0 is max */
    min=x2;
    max=x0;
  }
}