int get_st2_prop (void);
int get_st3_prop (void);

int get_st1_value (void) {
  return get_st2_prop () + get_st3_prop ();
}