A simple language extension for C