Anytime I read the following:

<!-- language: c -->

    //Don't put in negative numbers or it will crash the program.

Or something similar.  If that's the case then put in an assert!  Let the debugger know that during run-time you don't want those values and make sure the code spells out the contract with the caller.