int foo (int x)
{
  return x * 32;
}