document STDC_*_MACROS and the meaning of Dijkstra's P and V
document STDC_*_MACROS and the meaning of Dijkstra's P and V

flipk/pfkutils,flipk/pfkutils,flipk/pfkutils,flipk/pfkutils,flipk/pfkutils,flipk/pfkutils,flipk/pfkutils