Extension to libmaple