Still PHT.cpp is to be done with getchar_unlocked()