These functions are used to test the correctness of this program.
Once you think this program is correct, I will remove all these  LOAD functions and use the commented code.
Therefore, I do not think adding REQUIRE with error message is necessary.
Let me know you suggestion.