[mavhc]

if you can write a specification with no ambiguities you can just execute it, because it's code