Check that sequences have same size
Replacing let (...) with let [...]
Address with 32-bit displacement