let
ok_array_term_formal s x n b p =
collect_formal_array_call s x n b p