Use 8-bit operations in BUF_FULL(..) of tools.h