a non-demo file.
removing some dead tactics.