/* Is called by gcc-generated constructor code for each object file compiled with -fprofile-arcs.  */
void __gcov_init(struct gcov_info *info)
/* Is called by gcc-generated constructor code for each object file compiled with -fprofile-arcs.  */
void __gcov_init(struct gcov_info *info)
{
	info->next = gcov_info_head;
	gcov_info_head = info;
}