fix symbolic helper for sextract_i64#34

aurelf merged 2 commits intoeurecom-s3:mastereurecom-s3/symqemu:masterfrom

enlighten5:fixenlighten5/symqemu:fixCopy head branch name to clipboard