decl prog exer session 1