3 ms·

Please, go on; what kind of verification do you want? How would you like to see this codebase improved in order to bring about that verification?