It would be interesting to understand what non-toy programs can be coded in this subset of C. For example, could tcc be rewritten in this dialect?

You may enjoy https://github.com/ludocode/onramp