Is there any other way to verify the correctness of the implementation?
Is there any other way to verify the correctness of the implementation?