Add trivial version of suc.