
  TYPE
    mtt$system_state = (mtc$ss_no_checkpoint, mtc$ss_checkpoint_in_progress,
      mtc$ss_checkpoint_complete),
    mtt$step_code = (mtc$sc_no_step, mtc$sc_step),
    mtt$mem_status = (mtc$page_restored, mtc$page_lost);
