Example C.5.