// THIS FILE IS AUTOGENERATED, DO NOT MODIFY
main()
{
	a[0] = "head_seal_udt_a";
	a[1] = "head_seal_udt_c";
	a[2] = "head_seal_udt_d";
	a[3] = "head_seal_udt_e";
	return a;
}