Extensions for Marprom