let ok_array_term_arg s x n b p = 
  collect_arg_array_call s x n b p