works now, but in 9999 is a compilation error.
Seems to be a bug in the c code.