static S progID() {
  ret programID();
}