use uint64_t for tbl