Convert proc() to move ||