code: def len_eq(
      val: Sized, expected_len: int, reason: Optional[str] = None
  ) -> None:
      val_len = len(val)
      if val_len == expected_len:
          return
  
      msg = "CHECK FAILED! Got length {}, expected length {}".format(
          val_len, expected_len
      )
      if reason is not None:
          msg += ": {}".format(reason)
      msg += ". Values: {}".format(val)
  
      raise CheckFailedError(msg)
  
imports: from typing import Any, Container, Optional, Sized, Tuple, Type, Union
label_desc: Use image node_id 23 for calling a global function with example usage: len_eq(val, expected_len, reason) without return types