dump() function now is a bit tricky