int unpackPAddr(int packedPrintAddr){ return (packedPrintAddr << 2) + (mem.loadw(Header.stringsOffset) << 3); }