let
from_tname tname =
String
.sub tname 2 (
String
.length tname - 3)