tfprng: use tf_prng_datasize even if no one uses it.