Implement stack machine listeners, using the existing provisional contract