Refactor some of the load/store code; correct the way sign extension
works.