cosmetics on .h files and #pragma ones and using std