case sfi of
(SFI (StaticFieldInfo cls field)) -> getStaticFieldOffset cls field
_ -> error "getFieldAddr: no trapInfo. abort"
case sfi of
(SFI (StaticFieldInfo cls field)) -> getStaticFieldOffset cls field
_ -> error "getFieldAddr: no trapInfo. abort"