1.1 --- a/templates/native/io.c Tue Nov 02 00:04:48 2021 +0100
1.2 +++ b/templates/native/io.c Thu Nov 04 23:21:09 2021 +0100
1.3 @@ -150,7 +150,7 @@
1.4 /* str.__data__ interpreted as string */
1.5 char *s = __load_via_object(__VALUE(str), __data__).strvalue;
1.6 /* str.__size__ interpreted as int */
1.7 - size_t to_write = __TOINT(__load_via_object(__VALUE(str), __size__));
1.8 + size_t to_write = __load_via_object(__VALUE(str), __size__).sizevalue;
1.9 size_t have_written = fwrite(s, sizeof(char), to_write, f);
1.10 int error;
1.11
1.12 @@ -207,7 +207,7 @@
1.13 /* str.__data__ interpreted as string */
1.14 char *s = __load_via_object(__VALUE(str), __data__).strvalue;
1.15 /* str.__size__ interpreted as int */
1.16 - size_t size = __TOINT(__load_via_object(__VALUE(str), __size__));
1.17 + size_t size = __load_via_object(__VALUE(str), __size__).sizevalue;
1.18 ssize_t have_written;
1.19
1.20 errno = 0;