Use chez petite scheme