let sqnorm (x, y, z) =
  x *. x +. y *. y +. z *. z