Implementation for use in Modula-3
type descriptors in heap objects
statically typed language makes compile-time location of pointers in global variables easy
stack and register assignment may vary even within a procedure
pointer update and following is complicated if pointer is untidy