Everything works, almost

The only problem is that the result is not stored, we should let the
mem-to-reg pass do its magic, and not pass around vectors as actual
vectors.