Using C language extensions for developing embedded software: a case study