Semantic Primitive Types for C