import cpp
import semmle.code.cpp.controlflow.StackVariableReachability

select "Test for deprecated library StackVariableReachability."