Bluebelly Java snake

The bluebelly Java snake (Tetralepis fruhstorferi), also known commonly as Fruhstorfer's mountain snake and the Javan bluebelly snake, is a species of snake in the family Colubridae. The species, which is the only member of the genus Tetralepis, is endemic to Java.

Etymology
The specific name, fruhstorferi, is in honor of German lepidopterist Hans Fruhstorfer, who collected the holotype.

Habitat
The preferred natural habitat of T. fruhstorferi is forest, at altitudes of about 1,000 m.

Description
Dorsally, T. fruhstorferi is dark reddish brown, with an indistinct darker vertebral line. Ventrally, it is lead-colored or reddish gray. The holotype has a snout-to-vent length (SVL) of 43.2 cm, plus a tail length of 7.0 cm.

Behavior
T. fruhstorferi is terrestrial, semi-fossorial, and nocturnal or crepuscular.

Reproduction
The mode of reproduction of T. fruhstorferi is unknown.