debugger: interpreting setter