tet4 implemtations