default main syntax