let length t = Table.length t.table