/**
 * There's a lot to self-disclose, but we haven't been able to do so yet.
 */

int 
main ()
{
  return 0;
} // main