replaced by grepr_fun.h