void __dummy2005102101()
{
}



syntax highlighted by Code2HTML, v. 0.9.1