@@ -304,27 +304,6 @@ VAL idris_strCons(VM* vm, VAL x, VAL xs);
304304VAL idris_strIndex(VM* vm, VAL str, VAL i);
305305VAL idris_strRev(VM* vm, VAL str);
306306
307−VAL idris_appendB8Native(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
308−VAL idris_appendB16Native(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
309−VAL idris_appendB16LE(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
310−VAL idris_appendB16BE(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
311−VAL idris_appendB32Native(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
312−VAL idris_appendB32LE(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
313−VAL idris_appendB32BE(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
314−VAL idris_appendB64Native(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
315−VAL idris_appendB64LE(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
316−VAL idris_appendB64BE(VM* vm, VAL buf, VAL len, VAL cnt, VAL val);
317−VAL idris_peekB8Native(VM* vm, VAL buf, VAL off);
318−VAL idris_peekB16Native(VM* vm, VAL buf, VAL off);
319−VAL idris_peekB16LE(VM* vm, VAL buf, VAL off);
320−VAL idris_peekB16BE(VM* vm, VAL buf, VAL off);
321−VAL idris_peekB32Native(VM* vm, VAL buf, VAL off);
322−VAL idris_peekB32LE(VM* vm, VAL buf, VAL off);
323−VAL idris_peekB32BE(VM* vm, VAL buf, VAL off);
324−VAL idris_peekB64Native(VM* vm, VAL buf, VAL off);
325−VAL idris_peekB64LE(VM* vm, VAL buf, VAL off);
326−VAL idris_peekB64BE(VM* vm, VAL buf, VAL off);
327−
328307// system infox
329308// used indices:
330309// 0 returns backend