Namespace header guards with CAVALIERI_