added dump.rs to use with parse2-auto.rs