unit null_softint = {

imports[ panic : Panic_T trap : { trap_dump } ]; exports[ softint : SoftInt_T ]; ...

}