static double ptDistance(Pt a, Pt b) {
  ret pointDistance(a, b);
}