#42: recording operatordecorator