Constant ARITH_SELECT_U64 

pub const ARITH_SELECT_U64: &str = "arith_select_u64";