I teach a course where students get to ask questions about programming (!): I got this question:
Why does the machine choose were variables go in memo
Local variables within a function will typically be laid out sequentially within the function's stack frame.