int 
foo (int inval)
{
  return inval * 23;
}