Statements like Exit or return which lead code flow out of the marker are supported, so the answer to your question is yes.

Yes, it will work correctly. The only thing that is not allowed is to literally include one marker into another, so between vm_risc_begin and vm_risc_end there can be no other markers.