resetting to merge in interface/global/implementors.h submitted on another branch