(addr)
| 587 | |
| 588 | // returns a pointer instead of an Int |
| 589 | readp(addr) { |
| 590 | this.set_addr(addr); |
| 591 | const worker = this._worker; |
| 592 | return new Addr(worker.getUint32(0, true), worker.getUint32(4, true)); |
| 593 | } |
| 594 | |
| 595 | read8_at(offset) { |
| 596 | if (!isInteger(offset)) { |