CodeSandwich

main {
    A = allocate()  // acquire
    release(A)      // release
    do_stuff(A)     // <RUN TIME FAIL> use invalid pointer
                    // delete pointer
}

CodeSandwich

main {
    A = allocate()  // acquire
    do_stuff(A)     // use
                    // <RUN TIME FAIL> never release
                    // delete pointer
}

CodeSandwich

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

CodeSandwich

main {
    A = 1       // create A
    loop {
        B = 2   // create B 
                // delete B
    }
                // delete A
}