path: root/test_deliverable/testcases/test_POINTER0_driver.c

int *pointer(int);

int main()
{
    return !( 67 == *pointer(67) );
}