// If halts_if_valid() returns INVALID, it can possibly exist as a valid program.
g() {
  if(halts_if_valid(g) == HALTS) loop_forever();
}