https://not2de.blogspot.com/2024/04/stlc-models.html