\begin{acronym}[SBRM] \acro{RAII}{Resource Acquisition is Initialization} \acro{API}{Application Programming Interface} \acro{SBRM}{Space Bound Resource Management} \acro{NLL}{Non-Lexical Lifetimes} \acro{CFG}{control-flow graph} \end{acronym}