Interfacing with ECLinPS