let length t = List.length t.data