frame_retrieve
v = frame_retrieve(stack, idx);
struct value * frame_retrieve(const struct stack *, size_t);