push back lang implementation