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.