// THIS FILE IS AUTOGENERATED, DO NOT MODIFY main() { a[0] = "head_secret_service_a"; a[1] = "head_secret_service_b"; a[2] = "head_secret_service_c"; return a; }