allocate_dynamic_states_array
allocate_dynamic_states_array(num_checks);
void allocate_dynamic_states_array(int num_checks);