[Tachyon-list] 32 vs 64 bit pointers/values?