// THIS FILE IS AUTOGENERATED, DO NOT MODIFY
main()
{
a[0] = "head_seal_soccom_b";
a[1] = "head_seal_soccom_c";
return a;
}