We don't need an extension to use dump()