int
f (int x)
{
  return x % 256;
}