> > I understand that maybe a compiler shouldn't lose time handling `#pragma options`, but giving semantics to source comment, I think it can be dangerous and misunderstood. Could you elaborate what could be dangerous or misunderstood? Rien.