#include <stdio.h>

int
main(int ac, char **av)
{
    printf("Hello world: 0x%x\n", 0xdeadbeef);

    return 0;
}