SMS versenden: Programmsynthese allgemein-rekursiver Funktionen mit beschränktem Stabilisierungstakt