code: def _aix_tag(vrtl, bd):
      # type: (List[int], int) -> str
      # Infer the ABI bitwidth from maxsize (assuming 64 bit as the default)
      _sz = 32 if sys.maxsize == (2**31 - 1) else 64
      _bd = bd if bd != 0 else 9988
      # vrtl[version, release, technology_level]
      return "aix-{:1x}{:1d}{:02d}-{:04d}-{}".format(
          vrtl[0], vrtl[1], vrtl[2], _bd, _sz
      )
  
file_path: cpython/Lib/_aix_support.py
imports: import sys
  import sysconfig
label_desc: Use image node_id 2 for calling a global function with example usage: _aix_tag(vrtl, bd) and returns: str