// THIS FILE IS AUTOGENERATED, DO NOT MODIFY
main(){	a[0] = "head_opforce_arab_a";	a[1] = "head_opforce_arab_b";	a[2] = "head_opforce_arab_c";	a[3] = "head_opforce_arab_d_hat";	a[4] = "head_opforce_arab_e";	return a;}