set disassembly-flavor intel b RG_Main b RG_init display/20xg $rsp+0x20 display/20xg $rsp display/1xg $rbp display/8xg $r13 display/10i $rip .