cleared oopsla12/BarowyCBM12