Tests/CustomTransitiveProperties/main20.c

extern int static20(void);
extern int static21(void);

int main(void)
{
  return static20() + static21();
}