All example files are used in xlang's test suite. RefLang passes all tests that are not related to tail-call optimizations.
