static Pt onePathDirection(int index) {
  ret onePathDirections()[index];
}

static Pt onePathDirection(Pt p, int index) {
  ret ptPlus(p, onePathDirections()[index]);
}