But the right place for such procedural checks is well-tested library code.

但是把这种过程序检查放在进行了良好测试的库代码中比较合适。