RE: happy and OPTIONS pragmas