Move Neves' code into ct32.c to keep it CC0.