int
dummy_function ()
{
  return 600;
}