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