problem with const int in header