Testing for Use of a Potentially Dangerous Function