add more stuff to dump_state printf