debugging RecordObject __setattr__