[Oberon] Documentation;

[Jörg]

Hellwig

> Remark: It's a bit unusual to prescribe the bit value (0 or 1)
> with which to extend the immediate constant instead of specifying
> whether the constant will be sign- or zero-extended. This is
> a trade-off: spend a bit in the opcode area and gain a bit
> for a bigger constant range.

I see it as follows: RISC5 does always sign-extend the 17-bit value {v, imm} 

br
Jörg