The mapc2p function

To appear.