impl PushCode / PopCode on GreenTeaGenerator