int shr2(int x)
{
  return 2*x;			/* shr2-return */
}

int shr2_local(int x)
{
  return 2*x;
}