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