sub pi () {
  atan2(0, -1);
}