int printf(const char *format, ...);

unsigned int u;

main()
{
    int i,k; unsigned uk;

    for(i=-3;i<4;i++) {  
        k = (char) i; 
        uk = (unsigned char) i; 
        printf("#0011:%d %u\n",k,uk);
        k = (short) i; 
        uk = (unsigned short) i; 
        printf("#0014:%d %u\n",k,uk);
    }
    u = (unsigned) -23432;

    printf("#0018:%d\n",u/(8048+5));
    return 0;
}