An experimental STLC based alternative to languages like MISRA-C or CompCert - View it on GitHub