add debug_assert for great huonstice