
  TYPE
    ost$prevalidate_free_result = (osc$heap_allocation_id_invalid, osc$heap_free_valid,
          osc$heap_linkage_invalid, osc$heap_pointer_invalid, osc$heap_verification_failure);

