注册会计师在获取审计证据时，____程序可用于评估内部控制有效性。