Prepare wumpus.c for 1TBS reflow.