exec
dotc
parser.output
parser.automaton
parser.ml
parser.mli
scanner.ml
testall.log
*.cmo
*.cmi
*.diff
*.dots.c
*.outgdc
*.exec
