Debug the issue

From cassert to cinttypes have been tested