type=int in dump