void vert_main()
{
}

void main()
{
    vert_main();
}