>> I have left out "SECURITY LABEL" which would require a special security>> label provider. [...]>> You can add tests in src/test/modules/dummy_seclabel.
Thanks for the pointer, I have indeed missed these special tests. I'll have a look.
-- Fabien.