intrusive printers use raw pointers;
updated mechanisms to bypass: inner type lookup, static method calls, raw pointer transformations, null pointer detection
conveneince functions to allocate and deallocate inferior variables