
  TYPE
    ost$virtual_machine_identifier = (osc$cyber_180_mode, osc$cyber_170_mode,
      osc$50_reserved, osc$51_reserved, osc$52_reserved, osc$53_reserved,
      osc$54_reserved, osc$55_reserved, osc$56_reserved, osc$57_reserved,
      osc$58_reserved, osc$59_reserved, osc$60_reserved, osc$61_reserved,
      osc$62_reserved, osc$63_reserved);
