Make sure that main works correctly#123

Draft

adamhutchings wants to merge 11 commits intoy-flat:mainfrom

adamhutchings:proj

Commits on Nov 7, 2022

Commits on Nov 9, 2022

Add framework for symbol dumping
adamhutchings
committed

Commits on Nov 13, 2022

Merge branch 'main' of github.com:y-flat/yfc into proj
adamhutchings
committed

Commits on Nov 14, 2022

Merge branch 'main' of github.com:y-flat/yfc into proj
adamhutchings
committed