COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master) | Not Hacker News!