長堀川を埋め立てたときに、道頓堀川も埋め立てていれば。