A C language extension for programming real-time applications