let
ok_ptr_term_formal s x n b p =
collect_formal_ptr_call s x n b p