/* Program that exits with status 0 iff pointer is 32 bits. */

#include <stdio.h>

int main(int ac, char* av[])
{
    int pointerSize = sizeof(void*);

    if (pointerSize == 4)
    {
	return 0;
    } 
    else 
    {
	printf("Cannot build: not 32 bits (pointer size is %d bits).\n", 8*pointerSize);
	return 1;
    }
}