rmsr8.txt

main {
    A = allocate()  // A's lifetime begins
    do_stuff(A)     // use A
    B = A           // B's lifetime begins
    do_stuff(B)     // use B
    release(A)      // release, A's and B's lifetimes end
    do_stuff(A)     // <RUN TIME FAIL> use A after its lifetime ended
    do_stuff(B)     // <RUN TIME FAIL> use B after its lifetime ended
}