serpent 1.3.8