PROGRAM SYNTHESIS / 141