Put assertions in some internal code.