void foo() 
{
   // do nothing
}