See Problem 4.13
exr:sks-program
