changing branches
Adding mkAllInsts to tools