Add auxiliary argument to procedure() interface. Associated small