HelenOS sources
root
/
tools
/checkers/
[..]
vcc.h
[..]
HelenOS homepage
,
sources at GitHub