Changes to cothread