#include "Clean.h"
#include "test_state.h"
#include <stdio.h>

int store(int* p, int offset, int value) {
    printf("Storing %d at %p + %d\n", value, p, offset);
    return 0;
}