extern "C" {
    extern void SYMBOL (void);
}


int
main (int argc, char **argv)
{
    (void)argc;
    (void)argv;

    SYMBOL ();
}