void main()
{
   do_nothing();
}