int
real_function ()
{
  return 500;
}