extern int source_symbol();

int main()
{
  return source_symbol() - 42;
}