Z3rodumper 〈EXTENDED ›〉