typedef long int *pint32;

pint32 x, y, z;