The mpC Programming Language Specification