static float avg(float a, float b) {
  ret (a+b)/2;
}