static S truthTableProgram() {
  ret #1007236;
}