---

The followings are logs used in debugging.