Definition of mapc function using PROG