store mem (Register I)  (MemoryValue16 v) = writeSTRef (registerI mem) v
store mem (Register I)  (MemoryValue16 v) = writeSTRef (registerI mem) v
store mem (Register I)  (MemoryValue16 v) = writeSTRef (registerI mem) v