2 (loadw length seq1 vector-length-slot other-pointer-lowtag)
3 => length will be length of seq1. This is fixnum, so (inst shr length 2) to get real length
6 => this doesn't work ? because immediate is number of bytes, not bits (like shr).
9 => page fault ? results should be fixnumized, (inst shl result 2)