in lib/pygments/mentos.py [0:0]
def _get_fixed_bits_from_header(out_header): size = len(out_header) return "".join(map(lambda y:str((size>>y)&1), range(32-1, -1, -1)))