skeleton of hw6_7.ml