package Ġven us . ris cv . inst s Ċ Ċ import Ġven us . ris cv . inst s . dsl . Load Type Instruction Ċ import Ġven us . ris cv . inst s . dsl . impl s . sign Extend Ċ import Ġven us . simulator . Simulator Ċ Ċ val Ġlb Ġ= ĠLoad Type Instruction ( ĊĠĠĠĠĠĠĠ Ġname Ġ= Ġ" lb ", ĊĠĠĠĠĠĠĠ Ġopcode Ġ= Ġ 0 b 0 0 0 0 0 1 1 , ĊĠĠĠĠĠĠĠ Ġfunct 3 Ġ= Ġ 0 b 0 0 0 , ĊĠĠĠĠĠĠĠ Ġload 3 2 Ġ= ĠSimulator :: load Byte , ĊĠĠĠĠĠĠĠ Ġpost Load 3 2 Ġ= Ġ{ Ġv Ġ-> Ġsign Extend ( v , Ġ 8 ) Ġ} Ċ ) Ċ