
{ Define page status values returned from GFP$FETCH_PAGE_STATUS.


TYPE
  gft$page_status = (
      gfc$ps_page_doesnt_exist,
      gfc$ps_page_on_disk,
      gfc$ps_page_on_server,
      gfc$ps_job_mode_work_required,
      gfc$ps_temp_reject,
      gfc$ps_volume_unavailable,
      gfc$ps_account_limit_exceeded,
      gfc$ps_server_terminated,
      gfc$ps_server_allocate_required);



