Use int for debugFlag