Wait, doesn't this cap our # of key bytes at 4GB? Shouldn't we use a 64 bit number here?