/src/test/modules/dummy_seclabel/