Those

validate_*

functions are somewhat similar to

assert()

in C. They either pass, or program execution does not continue.