Constant finish_non_exhaustive 

pub const finish_non_exhaustive: Symbol;