Implement processCodeLabels().
Implement PushWithPatch().