3.4.5 IDS pseudo-code