Problem 4.13 [pasu] - si-manual