Then I guess uint8_t would be the sane choice, I will update the issue