#!/usr/local/bin/tcc -run
void main()
{
    /*printf("%02x", -1 & 0xff);*/
    printf("Hello world\n");
}