cleared PLDI12/Turon12