extern fint decodeint_c(fchar,fint *,fint *);