This is documented in the reference manual, but was not working.
The change consists in having check.m returning oo_ as 1st output argument, and
having the preprocessor generating the corresponding code.