
  TYPE
    pmt$initialization_value = (pmc$initialize_to_zero,
      pmc$initialize_to_alt_ones, pmc$initialize_to_indefinite,
      pmc$initialize_to_infinity);

