[] no special info, see general notes

EXTENSIONS with_spy loader code P4_DVaL