insp_windows_systemroot : string option;
insp_winreg_DEFAULT : string option; (* registry files *)
insp_winreg_SAM : string option;
insp_windows_systemroot : string option;
insp_winreg_DEFAULT : string option; (* registry files *)
insp_winreg_SAM : string option;