#include <stdio.h>

int
main()
{
    extern int getx();
    printf("%x\n", getx());
}