let
ok_ptr_term_arg s x n b p =
collect_arg_ptr_call s x n b p