Bluebelly Java snake

The species, which is the only member of the genus Tetralepis,[2] is endemic to Java.

[1][3] The specific name, fruhstorferi, is in honor of German lepidopterist Hans Fruhstorfer, who collected the holotype.

[4] The preferred natural habitat of T. fruhstorferi is forest, at altitudes of about 1,000 m (3,300 ft).

[1] Dorsally, T. fruhstorferi is dark reddish brown, with an indistinct darker vertebral line.

[5] T. fruhstorferi is terrestrial, semi-fossorial, and nocturnal or crepuscular.