[CuriouslyC]

But a less concise language is (theoretically, if you're doing useful stuff with the verbosity) easier for machines to verify.