int weak ()
{
  return 0;  /* count(1) */
}