int some_symbol (void) {
  return RET_VALUE;
}