_label 0 
_label 1 
##peek RBP D 0 
##inc-d -1 
_compare-imm-branch 6 RBP 5 cc= 
_label 2 
##load-reference RBP t 
##inc-d 1 
_label 3 
##inc-d 1 
##inc-d -1 
_label 4 
##replace RBP D 0 
_label 5 
##return 
_label 6 
##inc-d 1 
_label 7 
##inc-d 1 
##inc-d -1 
_label 8 
##load-immediate RBP 5 
##replace RBP D 0 
_label 9 
##return