tortoise: implemented while