HITS: A symbolic testing and debugging system for multilingual microcomputer software