int
external (int i)
{
  return 37 * i;
}