/* A basic dereferencing test case */

int main(void) {
    int x = 3;
    int *ptr = &x;
    return *ptr;
}