CSoPL: hw1: multiplication