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

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