void main()
{
    defaultMain();
}