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