stub out axiomatization of memory model
The model is pretty complete, modulo bugs, alignments, etc.  The model allows conversion
from pointers to integers and back