なるほど、非同期が async に集約されれば async でないことが同期であることの保証になるのか。