problems with compiling
succ cmp