     basic-block get swap loops get set-at ;
 
 : emit-loop ( node -- )
+    ##safepoint
     ##branch
     begin-basic-block
     [ label>> id>> remember-loop ] [ child>> emit-nodes ] bi ;

    ##branch
    begin-basic-block
    make-kill-block
    ##epilogue
    ##return ;


    ] keep ;

: emit-loop-call ( basic-block -- )
    ##safepoint
    ##branch
    basic-block get successors>> push
    end-basic-block ;
