
  TYPE
    mmt$keypoint_page_fault_status = (mmc$kpfs_normal,
          mmc$kpfs_disable_keypoints, mmc$kpfs_invalid_keypoint);

