Ok, then it would become a compiler pass