Constant NN_vextractf128 

pub const NN_vextractf128: u16 = 822; // 822u16