checkpoint - before this! all WORKED, changes starting now: changing stage 8 explicit npt productions to use XSC