(int succ string) :next