Verbose C version of problem 12.