Use uint64_t for counting tuples in the database and shorts for execution.