@@ -16,7 +16,7 @@ $JSRTS.prim_writeStr = function (x) { return process.stdout.write(x) };
1616
1717$JSRTS.prim_readStr = function () {
1818 var ret = '';
19− var b = new Buffer(1024);
19+ var b = Buffer.alloc(1024);
2020 var i = 0;
2121 while (true) {
2222 $JSRTS.fs.readSync(0, b, i, 1)
@@ -26,7 +26,7 @@ $JSRTS.prim_readStr = function () {
2626 }
2727 i++;
2828 if (i == b.length) {
29− var nb = new Buffer(b.length * 2);
29+ var nb = Buffer.alloc(b.length * 2);
3030 b.copy(nb)
3131 b = nb;
3232 }
@@ -37,4 +37,4 @@ $JSRTS.prim_readStr = function () {
3737$JSRTS.die = function (message) {
3838 console.error(message);
3939 process.exit(-1);
40−};
40+};