// check: VerificationError { kind: FunctionDefinition, idx: 0, err: BorrowLocReferenceError(5) }

main() {
    let v: u64;
    let ref_v: &u64;
    v = 5;
    ref_v = &v;
    release(&ref_v);
    return;
}