See Problem 3.11
exr:dcextended-program
