It doesn't always verify. When it does, it's rarely an exhaustive, highly effective test. It is not initialized prior to use; there's no need.