Как использовать указатели кадров и регистровые значения в макросе gdb?

Question

Я новичок в python и пишу макросы для gdb. По сути, я пытаюсь это сделать, но не знаю, как поместить в python:

define et
set $frameptr = $rbp
while $frameptr != 0
 set $oldbp = *((void**)($frameptr+8))

 print $frameptr
 print $oldbp
 info symbol $oldbp

 set $frameptr = *((void**)($frameptr))
 end
end