add 20-bit addressing to (P)rint
many bugfixes