#include <stdio.h>
main() 
{
    fprintf(stderr,"typeChk: Asserting the following type sizes:\n");
    fprintf(stderr,"typeChk: SizeOf(char)          = %d (1 on 32-bit arch)\n",
        sizeof(char));
    fprintf(stderr,"typeChk: SizeOf(short)         = %d (2 on 32-bit arch)\n",
        sizeof(short));
    fprintf(stderr,"typeChk: SizeOf(int)           = %d (4 on 32-bit arch)\n",
        sizeof(int));
    fprintf(stderr,"typeChk: SizeOf(unsigned char) = %d (1 on 32-bit arch)\n",
        sizeof(unsigned char));
    fprintf(stderr,"typeChk: SizeOf(unsigned short)= %d (2 on 32-bit arch)\n",
        sizeof(unsigned short));
    fprintf(stderr,"typeChk: SizeOf(unsigned int)  = %d (4 on 32-bit arch)\n",
        sizeof(unsigned int));
    fprintf(stderr,"typeChk: SizeOf(float)         = %d (4 on 32-bit arch)\n",
        sizeof(float));
    fprintf(stderr,"typeChk: SizeOf(double)        = %d (8 on 32-bit arch)\n",
        sizeof(double));

    fprintf(stderr,"typeChk: Noting also the following type sizes:\n");
    fprintf(stderr,"typeChk: SizeOf(long)          = %d (4 on 32-bit arch, 8 on 64-bit arch)\n",
        sizeof(long));
    fprintf(stderr,"typeChk: SizeOf(unsigned long) = %d (4 on 32-bit arch, 8 on 64-bit arch)\n",
        sizeof(unsigned long));
    fprintf(stderr,"typeChk: SizeOf(int*)          = %d (4 on 32-bit arch, 8 on 64-bit arch)\n",
        sizeof(int*));
    fprintf(stderr,"typeChk: SizeOf(void*)         = %d (4 on 32-bit arch, 8 on 64-bit arch)\n",
        sizeof(void*));
    fprintf(stderr,"typeChk: SizeOf(size_t)        = %d (4 on 32-bit arch, 8 on 64-bit arch)\n",
        sizeof(size_t));

/*
    VASSERT( sizeof(char)              == 1 );
    VASSERT( sizeof(short)             == 2 );
    VASSERT( sizeof(int)               == 4 );
    VASSERT( sizeof(unsigned char)     == 1 );
    VASSERT( sizeof(unsigned short)    == 2 );
    VASSERT( sizeof(unsigned int)      == 4 );
    VASSERT( sizeof(float)             == 4 );
    VASSERT( sizeof(double)            == 8 );
*/
    
    /* VASSERT( sizeof(long)           == 4 ); */
    /* VASSERT( sizeof(unsigned long)  == 4 ); */
    /* VASSERT( sizeof(int*)           == 4 ); */
    /* VASSERT( sizeof(void*)          == 4 ); */
    /* VASSERT( sizeof(size_t)         == 4 ); */
}