some c++ headers