void main()
{
    default_main();
}