String#succ_prec.js