wip: solution to encoding/decoding of dump