int add(int a, int b);
void persistInt(int n);
int retrieveInt();