Missing the 'return' part in comment - Christophe would be unhappy :-(
Missing the 'return' part in comment - Christophe would be unhappy :-(

chubbymaggie/claripy,avain/claripy,zhuyue1314/claripy,angr/claripy