definition module ABC.Def

:: NodeId  :== Int
:: NrArgs  :== Int
:: InstrId :== Int