function dumb(  )
{return void( 0 )}