proof calc
scons
split into cpp
remove local include