def text_or_none(elem):
    return elem.text if elem is not None else None
ffi.memmove(dest, src, n) copies n bytes of memory from src to dest.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/text_or_none--crossover with--dataset/ETHPy150Open cloudera/hue/desktop/core/ext-py/cffi-1.5.2/cffi/api.py/FFI.memmove