> Yes, because the native_interpret always starts at offset zero > (we can't easily feed in a "shifted" RHS). So what I assumed is > that IFN_LEN_STORE always stores elements [0, len + adj].
Hmm, but this assumption is not violated here or am I missing something? It's not like we're storing [vec_size - (len + adj) - 1, vec_size - 1] but indeed [0, len + adj]. Just the access to the buffer later is reversed which it should not be.