The byte-addressed RAM seems to pretty much work.

I'm still sure that I'm handling lots of things wrong: e.g. the sign of
ints, proper implementation of math ops..  but it does kinda work.