int testc_faux_ini_good(void) {

	return 0;
}


int testc_faux_ini_bad(void) {

	return -1;
}