foo_system_value(void)1 int foo_system_value (void)
2 {
3     return 42;
4 }
5