16-bit Data Pointers on RV32 (via calvin) — discussion

#assembly