Add some debugging codes