CSoPL: hw1: while