def __opaqueFilter(value): if value.upper().startswith('FLOAT: '): return encoder.encode(univ.Real(float(value[7:]))) else: return [int(y, 16) for y in value.split(' ')]