(CHECK_NATNUM): Use that macro instead of its expansion.
Attach a file by drag & drop or click to upload