smtlex.c
smtsyn.c
smtsyn.h
smtsyn.output
