I think 256 bytes is fine since he wants to pass the value directly as a kernel parameter. see his description of `T_isSmallValue`