审计人员验证银行存款余额是否存在时，实施的有效程序有（　　　　）