A badly needed extension to the C Programming Language