Initial state! Got XP working with X'. X' has some problems, both with trans vs. intrans children, and with recursive X'ing