void main() {
  float x,y;
  // x in [0,10]
  y = x*x - x;
  if (y >= 0) y = x/10;
  else
   y = x*x + 2;
}