// THIS FILE IS AUTOGENERATED, DO NOT MODIFY

main()
{
	a[0] = "head_seal_soccom_da";
	return a;
}