void sensitize(char *dp) { iki_sensitize(dp, "xsim.dir/Text_IO_Demo_behav/xsim.reloc"); }
void sensitize(char *dp) { iki_sensitize(dp, "xsim.dir/tb_behav/xsim.reloc"); }