Clean(
    :: *State :== Int;
    :: IntPointer :== Int
)

int store(int* p, int offset, int value);
Clean(store :: IntPointer Int Int State -> (IntPointer,State))