This will be needed to make formats like G64 and HFE writeable, but probably also will be usable to speed up static analysis.