(kind, msg)
| 3 | const MAX_LEN = 16384; |
| 4 | |
| 5 | function out(kind, msg) { |
| 6 | if (msg === null || msg === undefined) return; |
| 7 | |
| 8 | msg = String(msg).replace(/\0+$/g, '').trimEnd(); |
| 9 | if (msg.length === 0) return; |
| 10 | |
| 11 | console.log('[' + kind + '] ' + msg); |
| 12 | } |
| 13 | |
| 14 | function readUtf8(ptrValue, len) { |
| 15 | try { |