
   VAR
     jsv$maximum_pages_to_swap: [XREF] integer;
