py-1.0: same (but much shorter) implementation of it in python