A package containing domain layer and util functionality for embedded c software in safety critical domains.