Pushing PRE code