16-bit Data Pointers on RV32