Placement of OPTION pragmas

[Sven Panne]

Henrik Nilsson wrote:
> But different people may have different opinions [...]

... and this is concisely stated in "Wadler's Law of Language Design".
(http://www.informatik.uni-kiel.de/~mh/curry/listarchive/0017.html :-)
Seriously, I don't really care on what we agree here, it's only a minor
issue. My point is simply: Comments can (and usually *do*) lie, things
which are relevant to the compiler can not, so the "truth" should always
come first...

Cheers,
    S.