code: def non_zero_suffix(b):
      """Returns the longest suffix of b that starts with a non-zero
      byte."""
      i = 0
      while i < len(b) and b[i] == 0:
          i += 1
      return b[i:]
  
imports: from __future__ import absolute_import, division, print_function
  from collections import defaultdict
  import attr
  from hypothesis.internal.compat import hbytes, hrange, int_from_bytes, int_to_bytes
  from hypothesis.internal.conjecture.choicetree import ChoiceTree
  from hypothesis.internal.conjecture.data import ConjectureResult, Overrun, Status
  from hypothesis.internal.conjecture.floats import DRAW_FLOAT_LABEL, float_to_lex, lex_to_float
  from hypothesis.internal.conjecture.junkdrawer import binary_search, replace_all
  from hypothesis.internal.conjecture.shrinking import Float, Integer, Lexical, Ordering
  from hypothesis.internal.conjecture.shrinking.common import find_integer
label_desc: Use image node_id 4 for calling a global function with example usage: non_zero_suffix(b) and returns: b