gdb를 이용하여 mpz_class 자료형을 어떤식으로 debugging하나요

avatar08의 이미지

class속한 멤버 변수들이 동적할당되는 식으로 작동할 것 같은데
잘 안보이네요;;

그냥 long으로 선언하고 debugging 하다 대충 64bit 넘어갈 것 같으면 그냥 mpz_class 로 쓰곤했는데
확실한 방법이 없을까요 ?