- Shadow bytes with internal values The biggest problem with the interpreter is that undefinedness is not transitive. A warning is given if an undefined value is used, but then the interpreter goes on to use the (zero) value as if nothing had happened. The reason is that internal values in the interpreter have no shadow bytes, and consequently the undefinedness is lost as soon as a value is passed to an operation. Likewise the type is lost, which makes it impossible to do good type cheking on pointers. If internal values would have a shadow byte (only one per values is needed), we could have a shadow bit signifying "derives from null pointer", which could be checked when the pointer is dereferenced. Presently only the value of the pointer is checked. - Name generation upon forking. At present there is an ad-hoc mechanism for generating new file names for int.log and int.mess and a new variable name for LOG= upon forking. This mechanism is not well localized and does not generalize immediately to other file names like int.tally and int.core. Another consequence is that the AT= facility is presently implemented as a patch. - Integration of memory access Presently each memory access consists of at least three calls, one to check the shadow byte, one to store the data and one to rewrite or update the shadow byte; each of these do the same address evaluations etc. There should probably be routines for integrated writing and reading of bytes. - Improvements of warnings Presently warnings are indicated by a single number, in warn.h. This is often too little information. The warning should be a printf format, and warning() should accept a variable number of parameters. - There seems to be no way of obtaining the largest possible double on a machine in a system-independent way (except, perhaps, for including ). For the time being there is a #define MAXDOUBLE in do_fpar.c. - Program to process the int.tally file - Program to process int.core; also, define a more proper format for the int.core file. - Some esthetic problems - The system call umount is called unmount on some systems, or even called differently in different libraries on the same system. It is not clear to me who is to blame, nor if that would help. [[ Proposed code to be generated by mkswitch.c; type to be had from /ur/em/etc/em_table. DoXXX[01](par) long par { type arg = (LOG(("@X9 XXX %lt", par)), arg_t(par)); } ]]