Write the shortest C program (or program in another language) you can that halts iff ZFC is inconsistent.