// cheri/trunk/FPU/CoProFPConversionFunctions.bsv
function Bit#(m) truncateLSB(Bit#(n) value);
return value[valueOf(n)-1:valueOf(n)-valueOf(m)];
endfunction
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?