Just following up on this perceived hazard: I examined all #define's following the option detection which could alter an exposed option's effectivity to differ from the pragma compile_options output. (Some text processing and a DB join made this a non-onerous task.) I found <s>10 </s><i>5 truly</i> in that category. This will be fixed. Thanks for the heads-up on this issue.