minor updates to introduce interface functions needed by Emulink