Checked c is interesting, but the syntax is quite ugly. I wish it had done what cyclone did and used different symbols for different types of pointers (e.g. i

Checked c is interesting, but the syntax is quite ugly. I wish it had done what cyclone did and used different symbols for different types of pointers (e.g. it used @ instead of * for fat pointers).