assert() is better here and above as these conditions would indicate wrong code.