circuitpython/py/emitnx64.c