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