int load(int *p) { return *p; }