void tst_init();
int tst_init_ok();
/* int tst_sum(int a, int b); */