More helpers for dumping