No, it is not easy to verify without looking at the source code.