PROC dum$verify_log verify_log, verl (
  start, s: integer = $required
  found, f: var of boolean = $required
  recursion_level, rl: integer = 1
  status)

create_variable found k=boolean value=false
create_variable s k=status
start = $value(start)
length = $mem(start+2 2)
include_line 'previous = $mem(start+length+4 2)' status=s

IF s.normal AND (previous = length) THEN
  found = true
  IF $value(recursion_level) > 1 THEN
    verify_log start=$value(start)+length+4 found ..
      rl=$value(recursion_level)-1
  IFEND
IFEND

$value(found) = found

PROCEND dum$verify_log
