A playground for synthesis