Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics - View it on GitHub