Stack frame diagram and more general variable definition