int
main(void)
{
    /* Do nothing */
    while (1);
}