Kernel/src/emu.c

1372 		err_code = INSTANTIATION_FAULT;
1615 		err_code = INSTANTIATION_FAULT;
5488 		    err_code = INSTANTIATION_FAULT;
5512 			err_code = INSTANTIATION_FAULT;
5535 		    err_code = INSTANTIATION_FAULT;
6595 		err_code = INSTANTIATION_FAULT;
6951 		err_code = INSTANTIATION_FAULT;
7896 		err_code = ISRef(tmp1) ? INSTANTIATION_FAULT : TYPE_ERROR;
7929 		err_code = ISRef(tmp1) ? INSTANTIATION_FAULT : TYPE_ERROR;
7943 		tmp1 = ISRef(tmp1) ? INSTANTIATION_FAULT : TYPE_ERROR;