Implementing a Consistent Cut Algorithm in a Message Passing Library