rmsr7.txt

main {
    A = allocate()      // acquire
    do_stuff(A)         // use
    release(A)          // release, pointer owns allocation
                        // delete pointer
}

do_stuff(B) {
    do_more_stuff(B)    // use
                        // don't release, pointer doesn't own allocation
                        // delete pointer
}