nuwa/stage: links for angr-z3