same again for `'dump()'`