Show HN: Modula-9, a Wirth-family language designed for auditing AI-written code