Asserts that all fields in input after the first in_len fields are zero.
in_len must be a valid length, i.e. in_len <= N (in_len == N requires no trailing zeros).
Passing in_len > N is rejected: otherwise the loop below never reaches the breakpoint and the
trailing-zero check is silently skipped, letting a caller believe the array holds more meaningful
elements than it can.
Asserts that all fields in
inputafter the firstin_lenfields are zero.in_lenmust be a valid length, i.e.in_len <= N(in_len == Nrequires no trailing zeros). Passingin_len > Nis rejected: otherwise the loop below never reaches the breakpoint and the trailing-zero check is silently skipped, letting a caller believe the array holds more meaningful elements than it can.