Constant DEFAULT_ISA_VERSION

pub const DEFAULT_ISA_VERSION: ISAVersion;