Constant CSR_TENSOR_STORE 

pub const CSR_TENSOR_STORE: u16 = 0x87F;

TensorStore CSR (tensor_store): store from FP registers (bit 48 = 0) or from the L1 scratchpad (bit 48 = 1 = TensorStoreFromScp) to memory. (PRM Table 9-7: 0x87F, not 0x83E)