ZZ is a modern formally provable dialect of C | Heykuki News